Algebraic Properties for Selector Functions
نویسندگان
چکیده
منابع مشابه
Algebraic Properties for Selector Functions
The nondeterministic advice complexity of the P-selective sets is known to be exactly linear. Regarding the deterministic advice complexity of the P-selective sets—i.e., the amount of Karp– Lipton advice needed for polynomial-time machines to recognize them in general—the best current upper bound is quadratic [Ko83] and the best current lower bound is linear [HT96]. We prove that every associat...
متن کاملAlgebraic properties of stochastic effectivity functions
Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences are defined, and the relationship of abstract logical equivalence and behavioral equivalence is investigated.
متن کاملAlgebraic properties of rings of continuous functions
This paper is devoted to the study of algebraic properties of rings of continuous functions. Our aim is to show that these rings, even if they are highly nonnoetherian, have properties quite similar to the elementary properties of noetherian rings: we give going-up and going-down theorems, a characterization of z-ideals and of primary ideals having as radical a maximal ideal and a flatness crit...
متن کاملAlgebraic distance in algebraic cone metric spaces and its properties
In this paper, we prove some properties of algebraic cone metric spaces and introduce the notion of algebraic distance in an algebraic cone metric space. As an application, we obtain some famous fixed point results in the framework of this algebraic distance.
متن کاملAlgebraic Functions For Recognition
| In the general case, a trilinear relationship between three perspective views is shown to exist. The trilinearity result is shown to be of much practical use in visual recognition by alignment | yielding a direct reprojection method that cuts through the computations of camera transformation, scene structure and epipolar geometry. Moreover, the direct method is linear and sets a new lower the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Computing
سال: 2004
ISSN: 0097-5397,1095-7111
DOI: 10.1137/s0097539703427550